The dualizing spectrum of a topological group
نویسنده
چکیده
To a topological group G, we assign a naive G-spectrum DG, called the dualizing spectrum of G. When the classifying space BG is finitely dominated, we show that DG detects Poincaré duality in the sense that BG is a Poincaré duality space if and only ifDG is a homotopy finite spectrum. Secondly, we show that the dualizing spectrum behavesmultiplicatively on certain topological group extensions. In proving these results we introduce a new tool: a norm mapwhich is defined for any G and for any naive G-spectrum E. Applications of the dualizing spectrum come in two flavors: (i) applications in the theory of Poincaré duality spaces, and (ii) applications in the theory of group cohomology. On the Poincaré duality space side, we derive a homotopy theoretic solution to a problem posed by Wall which says that in a fibration sequence of finitely dominated spaces, the total space satisfies Poincaré duality if and only if the base and fiber do. The dualizing spectrum can also be used to give an entirely homotopy theoretic construction of the Spivak fibration of a finitely dominated Poincaré duality space.We also include a new proof of Browder’s theorem that every finite H -space satisfies Poincaré duality. In connection with group cohomology, we show how to define a variant of Farrell-Tate cohomology for any topological or discrete group G, with coefficients in any naive equivariant cohomology theory E. When E is connective, and whenG admits a subgroup H of finite index such that BH is finitely dominated, we show that this cohomology coincides with the ordinary cohomology of G with coefficients in E in degrees greater than the cohomological dimension of H . In an appendix, we identify the homotopy type of DG for certain kinds of groups. The class includes all compact Lie groups, torsion free arithmetic groups and Bieri-Eckmann duality groups. Mathematics Subject Classification (1991): 55P91, 55N91, 55P42, 57P10, 55P25, 20J05, 18G15.
منابع مشابه
The Dualizing Spectrum
To an inclusion H ⊂ G of topological groups, we associate a spectrum DH⊂G, which coincides with the dualizing spectrum DG of [K4] when H = G. We also introduce a fibered spectrum analogue. The main application is to give a purely homotopy theoretic construction of Poincaré embeddings in stable codimension.
متن کاملGorenstein homological dimensions with respect to a semi-dualizing module over group rings
Let R be a commutative noetherian ring and Γ a finite group. In this paper,we study Gorenstein homological dimensions of modules with respect to a semi-dualizing module over the group ring . It is shown that Gorenstein homological dimensions of an -RΓ module M with respect to a semi-dualizing module, are equal over R and RΓ .
متن کاملThe Graded Classical Prime Spectrum with the Zariski Topology as a Notherian Topological Space
Let G be a group with identity e. Let R be a G-graded commutative ring and let M be a graded R-module. The graded classical prime spectrum Cl.Specg(M) is defined to be the set of all graded classical prime submodule of M. The Zariski topology on Cl.Specg(M); denoted by ϱg. In this paper we establish necessary and sufficient conditions for Cl.Specg(M) with the Zariski topology to be a Noetherian...
متن کاملAlgebraic and topological aspects of quasi-prime ideals
In this paper, we define the new notion of quasi-prime ideal which generalizes at once both prime ideal and primary ideal notions. Then a natural topology on the set of quasi-prime ideals of a ring is introduced which admits the Zariski topology as a subspace topology. The basic properties of the quasi-prime spectrum are studied and several interesting results are obtained. Specially, it is pro...
متن کاملGENERALIZED GORENSTEIN DIMENSION OVER GROUP RINGS
Let $(R, m)$ be a commutative noetherian local ring and let $Gamma$ be a finite group. It is proved that if $R$ admits a dualizing module, then the group ring $Rga$ has a dualizing bimodule as well. Moreover, it is shown that a finitely generated $Rga$-module $M$ has generalized Gorenstein dimension zero if and only if it has generalized Gorenstein dimension zero as an $R$-module.
متن کامل